Перевод: со всех языков на все языки

со всех языков на все языки

typing system

См. также в других словарях:

  • System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… …   Wikipedia

  • System programming language — System programming languages (otherwise known as applications languages) are programming languages that are statically typed, allow arbitrarily complex data structures, compiled, and meant to operate largely independently of other programs.… …   Wikipedia

  • system — n. group of items serving a common purpose 1) an air conditioning; amplifying; brake; data processing; filing; guidance; heating; highway (AE), motorway (BE), road; intercommunication; life support; number; public address; railroad (AE), railway… …   Combinatory dictionary

  • system — noun Etymology: Late Latin systemat , systema, from Greek systēmat , systēma, from synistanai to combine, from syn + histanai to cause to stand more at stand Date: 1603 1. a regularly interacting or interdependent group of items forming a unified …   New Collegiate Dictionary

  • System/34 BASIC — IBM System/34 BASIC was an interpreter for the IBM System/34 midrange computer.System/34 BASIC was first offered in 1978, and as such, contained many of the trappings that a BASIC program would have encountered in the time period of the TRS 80,… …   Wikipedia

  • System/36 BASIC — IBM System/36 BASIC was an interpreter for the IBM System/36 midrange computer.System/36 BASIC was first offered in 1983, and as such, contained many of the trappings that a BASIC program would have encountered in the time period of the IBM PC,… …   Wikipedia

  • System/34 and System/36 Screen Design Aid — Screen Design Aid (System/34 and System/36) (SDA) is a utility for the IBM System/34, System/36, System/38, and AS/400 (iSeries) midrange computers.This article refers to the S/34 and S/36 implementations of SDA. S/38 and AS/400 use a different… …   Wikipedia

  • System Reference Manual — The SRM firmware (also called the SRM console) is the boot firmware written by Digital Equipment Corporation (DEC) for computer systems based on the Alpha AXP microprocessor. The acronym SRM is derived from the phrase Alpha System Reference… …   Wikipedia

  • typing — noun writing done with a typewriter (Freq. 2) • Syn: ↑typewriting • Derivationally related forms: ↑typewrite (for: ↑typewriting), ↑type • Hypernyms …   Useful english dictionary

  • Typing — Typisierung steht für: Typifikation, das System und den Vorgang des Einteilens von Gegenständen in Typen, siehe Klassifikation in Technik und Recht für die Prüfung auf Vorschriftsmässigkeit von Waren, Geräten uä., siehe Bauartzulassung die… …   Deutsch Wikipedia

  • Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»